国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁(yè)> 外文OA文獻(xiàn) >Defining distances for all process semantics
【2h】

Defining distances for all process semantics

機(jī)譯：為所有過程語義定義距離

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠(chéng)獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請(qǐng)知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

Recently several authors have proposed some notions of distance between processes that try to quantify “how far away” is a process to be related with some other with respect to a certain semantics. These proposals are usually based on the simulation game, and therefore are mainly defined for simulation semantics or other semantics more or less close to these. These distances have a local character since only one of the successors of each state is taken into account in their computation. Here, we present an alternative proposal exploiting the fact that processes are trees. We define the distance between two of them as the cost of the transformations that we need to apply to get two processes related by the corresponding semantics. Our new distances can be uniformly defined for all the semantics in the ltbt-spectrum.
機(jī)譯：最近，幾位作者提出了一些過程之間距離的概念，這些過程試圖量化“多遠(yuǎn)”是一個(gè)與某些語義相關(guān)的過程。這些建議通?；谀M游戲，因此主要針對(duì)模擬語義或與它們近似或接近的其他語義定義。這些距離具有局部特征，因?yàn)樵谟?jì)算它們時(shí)只考慮每個(gè)狀態(tài)的后繼者之一。在這里，我們提出了一個(gè)利用流程是樹的事實(shí)的替代方案。我們將其中兩個(gè)之間的距離定義為轉(zhuǎn)換的成本，我們需要應(yīng)用這些轉(zhuǎn)換來獲取通過相應(yīng)語義關(guān)聯(lián)的兩個(gè)過程。我們可以為ltbt頻譜中的所有語義統(tǒng)一定義新距離。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號(hào) ICP備案號(hào)：京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號(hào)